Nuprl Definition : token2 def
11,40
postcript
pdf
token{$x:ut2} is Primitive
latex
origin